Automated Testing Of Smart Contract Systems - Valentin Wüstholz - Liquidity2020